テクニカルレポート | GRACEセンター

ISSN 1884-0760

Grace センタ

成果報告書

成

月

に

ソ 情報 電子 進展 共 社会 基盤 ン 構築 可

ソ 応用 利用 術 あ ソ 工学 術

高 電子社会 構築 展 困

開 ソ 々 大規模 複雑 高 多様

一途 い う 流 中 頑健 高品質 ソ

効率 良い開 実現 真 役 立 骨太 研究成果 創出 期待 い

「008 1 端ソ 工学 国際研究 ン 。G７脆（道 ン 設

立 G７脆（道 ン 「1 世紀 ソ 基盤 実現 国内

研究機関 連携 産学連携 研究 実践 教育 位一体 遀営 代 中

世界 研究者 び 術者 育成 世界 国立情報学研究

所内 ソ 工学 関 研究 ン G７脆（道 ン 第 1 期 「010

」 終了 機会 第 1 期 成果 成果報告書

成果報告書 研究開 実践 び 教育関連 業 観点 い

「010 」 15 日 1】 日 成果報告会 端ソ 工学 関

G７脆（道 国際 ン 「010 開催 端ソ 開 関 研究 実践 教育

幅広い諸問題 い ソ 工学 国内 第一人者 集 端的

研究 表 議論 基調講演 最 端 研究動向 い 紹 共

ン 行う 研究 方向性 問題点 い 議論 行い

「010 4 」 間 定 第 「 期 支援

願いい

目次

Grace ン 成果概要 ... 1

研究開 実践 ... 3

方向 変換 言語的基盤 術 ... 3

FMBoK (Formal Methods Body of Knowledge) ... 4

LIMT-RE Legal Interpretation Management and Tracking for and by Requirements Engineering ... 5

ワ 成 流 通 ソ 工 学 PerQAS ... 6

ン ワ ン 方法論 ... 7

ソ 工学 ... 8

Web2.0 代 指向ソ 開 基盤 ... 10

高信 ソ ン ン 術基盤 ... 12

Understanding the cognitive aspects of collaborative RE ... 13

ソ 品質要求 測定 可視 関 研究 ... 14

XAC ... 16

教育関連 業 ... 17

ン 基 知的 教育 ... 17

陸 端科学 術大学院大学 端ソ 工学 ... 19

点間教 洗練等 業 ... 20

Edubase 構築 ... 22

的ＩＴ 育成 速 ワ 構築 業 ... 24

情報処理推進機構 ＩＰＡ 連携協力 ... 26

表文献 ... 27

．Grace ンタ 成果概要

GRACE ン 研究活動 機能 世界 研究成果 生 出

研究 実践 教育 位一体 遀営 世界 研究者(

Top RE) 輩出 ソ 術者( Top SE)

育成 進 い 実現 国際連携 産学連携 点 国際的

研究機関 連携 点 実践 中長期 端的 基盤的 研究開 産学連携

点 企業 共 研究 通 実問題 適用 人 育成 点(教 開 及 点 教育 実施 機能 提供

第一期 2 間 活動 結果 研究 実践 教育 い 様々 成果 生 国内

連携 ワ 確立 い

GRACEセンター（先端ソフトウェア工学・国際研究センター）

研究

実践

TopRE

TopSE

トップレベルの ソフトウェア技術者

海外大学・研究機関 国内大学・研究機関 企業

‡双方向 変換

‡セキュ ソフ 工学

‡仮想 実世界サ ビ 連携

‡法 規定と ム開発

‡ ‡セキュ 評価のた

の形式手法適用

‡ 検査社内展開

‡先端手法活用事例分析

‡

‡ ップ 教育

‡大学院教育

‡教材流通 タ

‡先端教育の標準策定

‡

教育

研究・教育・実践を

三位一体で推進

国際連携・産学連携の

ハブ機能を提供

人材育成拠点形成

立ち上げから2年が経過

11の研究プロジェクト

共同研究8社以上 IPAとの交流協定

トップエスイー育成（トップレベルエンジニア教育）： 年間30名 先導的ITスペシャリスト育成（大学院教育）： 東大、東工大と連携 拠点間教材等洗練事業（教材流通ポータル）： 8拠点，36大学と連携

トップエスイーの博士取得支援（JAISTとの連携）： 2009年度に7名が博士課程入学

1 Grace ン 活動 成果 全体概要

研究活動 高信 柔軟性 保 性 優 ソ 構築 術 Dependable

and Evolutional Software Construction 主 11 研究 実施

成果 国際会議 論文 表40 著 国際会議 POPL’09, FSE’09,

INFOCOM’09, FOCS’09, RE’09等 GRoundTram( 方向 変換 , XAC

XAC , MVSQR ソ 品質要求 測定 可視 ソ

公開 い 研究者間 連携 進 30回 超え Grace研究

開催 国際 ン ワ 9回開催 い

う 活動 一環 実践 研究成果 実問題 適用 目的 企業

共 研究 進 い 以 例 一部 あ

z 株式会社富士通研究所 弱性 析 手法 研究

z 菱電機株式会社 形式 様 述 実装 対応付 基 い 開 ，検証

関 研究

z 株式会社 間 ン 考慮 状態遤移表 研究

z 情報総研株式会社 要求 析獲得手法 ン 保証

実務 実証 関 研究

教育 業 ソ 術者 育成

実施 参 企業26社 実践的 教育 行わ 一期生

修了生 計90 超え 来 約30 期生 入 定 あ

陸 端 術大学院大学 社会人向 博士課程 開設 ―修了生

高 研究実践 行い 学位 得 教育 整備 7

修了生 入学 い

ＩＴ 育成推進 成果 及展開 目的

点間教 等洗練 業 中 機関 国内 36 大学 連携 行い

業 推進 い

う ＩＴ人 育成 産学 緊密 連携 推進 情報処理推進

機構 ＩＰＡ IT人 育成 部 連携協定 締結 連携活動 実施 い

以降 活動内容 成果 概要 研究 実践 教育 関 表論文

一覧

．研究開発 実践 ロ

． 双方向 変換 言語的基盤技術

概要

OMG 駆 動 型 ソ 開 要 要 素 あ 変 換 model

transformation 様 設計 構成

ン ン等 ソ 成果物 software artifacts 表現 変 換 標準 術 あ 通 常 枠 組 変 換 適 用 前 source

model 変換 得 target model 共存 展

あ え 変更 う 正 伝 一

貫性 保証 要 解決問題 あ 問題 解決

ソ 信 性 確保 生産性 向 方法論 確立 目的

研究 変換 方向性 逆方向 変換 可能 方向

変換言語 UnQL+ 提案 実現 言語 既存 問い わ 言語UnQL

基 い 情報 出 変換

文法 標準 問 言語SQL 構文 非常 近い 使い い

言語 あ 方向変換言語 用い 実装 段階 変更 生 設計 顧客

要求 析 遡 自動的 一貫性 修正 ソ 進

う

研究 進展 方向 変換 新 い規格 進 的ソ 開

新 い形式的 方法論 び ソ 成果物 一貫性 保持

構築 期待 細 http://www.biglab.org/ 参照 い 主 連携機関 ン

-国立情報学研究所 : 胡振江 日高 一郎 藤弘之 稲葉一浩

-東京大学 : 武市正人 Yingfei Xiong 松 一孝


- 京大学 : Hong Mei Haiyan Zhao

-電気通信大学 : 中 圭

-芝浦工業大学 篠埜

代表的 表論文

1普 ８つたたぞ三図じそg 脆つ図ぞm遷図じ続 ２ぞこごせ ．そ続ぞそ囲じ囲図ごそ続と 達じでじそg, 道８道（景達８道 「00重, 脆m囲図ご三こ遷m, ９しご

３ご図しご三せ遷そこ囲, 脆つgつ囲図 「4-「8 「00重普 たた普」15-」「4普

「普 脆 （ぞmたぞ囲じ図じぞそ遷せ 脆たた三ぞ遷続し 図ぞ Bじこじ三ご続図じぞそ遷せ ２ぞこごせ ９三遷そ囲さぞ三m遷図じぞそ, ．（８道 「00重

。３．道７ ９三遷続ず), 別遷そ続ぞつ不ご三, （遷そ遷こ遷, ２遷と 1【-「4, 「00重普 たた普「」5-「」8普

」普 ９ぞ与遷三こ囲 （ぞmたぞ囲じ図じぞそ遷せ 脆たた三ぞ遷続し 図ぞ ２ぞこごせ ９三遷そ囲さぞ三m遷図じぞそ囲 さぞ三 ８ぞさ図与遷三ご

）ご不ごせぞたmごそ図, ８脆（ 「00重, Hぞそぞせつせつ, H遷与遷じじ, ：８脆, ２遷三続し 8-1「, 「00重普 たた普4【8-4】5普

4普 G三遷mm遷三-選遷囲ごこ 脆たた三ぞ遷続し 図ぞ ．そ不ご三図じ選せご ５三ぞg三遷m囲, 道８４５ 「010, ５遷たしぞ囲, （とた三つ囲,

２遷三続し 「「-「【, 「010普 ９ぞ 遷たたご遷三普

． FMBoK (Formal Methods Body of Knowledge)

概要

2006 6 公表 経済産業省 情報 信 性向 関 ン

電気 電子関連機器 国際 全規格 あ ISO IEC 61508 保証 関

Common Criteria (ISO/IEC 15408) い 形式手法 Formal Methods 利

用 推奨 利用 義務 等 信 性 全性 検証 術 形式手法

関心 高 い 形式手法 多 言語 表 法 検証 術 あ

使い 実践的 知識 十 確立 い いえ

い 状況 あ ソ 工学 い 知識体系 IEEE CS/ACM

SWEBOK (Software Engineering Body of Knowledge) 標準的 用い い 形式

手法 い 触 居 独自 体系 構築 以 方法 無い状況

あ い う 状況 打破 形式手法 知識体

系 構築 目指 あ

主 連携機関 ン

-国立情報学研究所 口研治

-：そじ不ご三囲じ図と ぞさ ４でさぞ三こ ／じm ）遷不じご囲, ／ご三ごmと Gじ選選ぞそ囲

-：そじ不ご三囲じ図と ぞさ １じmご三じ続ず景１ご三ぞ, ２じずご Hじそ続しごと

-Museohile/London South Bank University, Jonathan Bowen

代表的 表論文

1普 青木利 粂 文洋 木 佳樹 篠崎孝一 高木理 高 博紀 口研治 中原

早生 西原秀明 早水公 位 真一 渡邊宏 検査 教育

構築 向 , 算譜科学研究速報, 独 産業 術総 研究所, 検証

ン 脆．８９-５８-「008-01「 。「008)

「普 ／普 ）遷不じご囲, ／普 Gじ選選ぞそ囲, ２普 Hじそ続しごと, ０普 ９遷gつ続しじ 。ごこじ図ぞ三囲) ５三ぞ続ごごこじそg囲 ぞさ 図しご

さじ三囲図 じそ図ご三そ遷図じぞそ遷せ 与ぞ三ず囲しぞた ぞそ 達ぞ三m遷せ ２ご図しぞこ囲 道こつ続遷図じぞそ 遷そこ ９三遷じそじそg,

G７脆（道-９７-「008-0」, G７脆（道 （ごそ図ご三, ３遷図じぞそ遷せ ．そ囲図じ図つ図ご ぞさ ．そさぞ三m遷図じ続囲, ４続図ぞ選ご三

「008

」普 H普 ３じ囲しじし遷三遷, ０普 ８しじそぞ川遷ずじ, ０普 H遷と遷mじ川つ, ９普 脆ぞずじ, ０普 ９遷gつ続しじ, 達普 ０つmごそぞ,

２ぞこごせ （しご続ずじそg 道こつ続遷図じぞそ さぞ三 ８ぞさ図与遷三ご 道そgじそごご三囲 じそ ／遷た遷そ , 脆（２ ８．G（８道

Bつせせご図じそ じそ三ぞ遷こ囲, 不ぞせ 41, じ囲囲つご 「, ／つそご, たた45-50 。「00重)普

4普 西原秀明 青木利 粂 文洋 篠崎孝一 口研治 早水公 ２（B４０「008野ソ

開 検査知識体系 組 込 ン

。道８８ 「00重) 。「00重)

． LIMT-RE ロ Legal Interpretation Management and Tracking for and by

Requirements Engineering

概要

近 ，情報 関 様々 法 定 ， 構築 遀営 当

法 え 利 活用 ，定 義務 遵 必要 い

法 意 的 曖昧 定 ，解釈 既存 例 ン等

析，自身 断 行い具体 ， 構築 遀営 対 具体的

要求 定 い ，特 情報 関 法 解

釈 ， 術 社会 変 応 変 繁 あ ， 変 測 響

定 行う 必要 あ

対 研究 ，要求工学 従い，法 文言解釈

析 ， 変更 追跡 手法 構築 い 手法 ，曖昧 法 文

言 対 ， 例 ン等 え 解釈基準， 具体的要件，

例 具体的 状況 関連 用い，各組織

実際 持 い ， 管理方法等 ，法 規定 い 文言 あ

う ，あ い 理 何 ， い 析 行う え ， 断

等 明示的 析 含 ，変更 生 ， 変更

響 範 等 定

構築 LIMT ワ い ，あ 法 概念，特 あ 要件 当

断 行う 参考 ， 例 い え 細 条件

析 個々 例 い 例 解決 ，部 的 必要条件

十 条件， び曖昧 断基準 例示等 え LIMT ワ ，

要素 ，系統的 整理 ，条件 部 的 あ 考慮 析手法 定

い ， 具体的 情報 営業秘密 要件 満 い ？ 情報

個人情報 当 ？ い 断 ，既存 法解釈等 基 い 行う過程 支援

主 連携機関 ン

-国立情報学研究所 : 石 冬樹 ， 理穂子

代表的 表論文

1普 達つとつずじ ．囲しじず遷与遷, ７じしぞずぞ ．そぞつご, ８しじそじ続しじ Hぞそじこごそ, ２ぞこごせじそg, 脆そ遷せと川じそg 遷そこ Wご遷不じそg

１ごg遷せ ．そ図ご三た三ご図遷図じぞそ囲 じそ Gぞ遷せ-４三じごそ図ごこ ７ごだつじ三ごmごそ図囲 道そgじそごご三じそg, ９しご 「そこ

．そ図ご三そ遷図じぞそ遷せ Wぞ三ず囲しぞた ぞそ ７ごだつじ三ごmごそ図囲 道そgじそごご三じそg 遷そこ １遷与 。７道１脆W、0重) 遷図 ７道 「00重,

８ごた図ごm選ご三 「00重

． ネッ ワ サ ビ 合成 流通 た ソ 工学 ロ PerQAS

概要

近 ソ 機能 再利用可能 公開

組 わ 新 構築 成 指向 考え方 広

注目 い 組織 動的 適応的 連携 い ， 多

様 遥択 連携 新 成 提供 際 契約

い 概念 基 い う 質 要求 満 い 保証

？ いう大 問題 残 い ， Web 展開 ，

社会 周辺 物理的 ン ン い

，物理的 約等固 設定 様 問題 存

PerQAS い Web び ン ン 関 ，質 保証

成 提供 行うソ 構築 科学的 方法論 び

研究開 行 い ，組織 様々 物理的 仮想的

連携 流通 活用 進 具体的 ， 主 課題 組

指向 指向 基 適応 ワ

z 述型 成 ，実行 管理 述

z 用い 成手法

Web QoS 契約 検証手法

z 品質 変 意識 契約 述 確率的 活用

z 成 契約 整 性 検証 実現 支援 ワ

z 約充足問題 基 い ，整 性あ 品質 決定手法

指向 基 い ン 要求 析手法

間 物理的相互作用 象 ン ， び 検証

主 連携機関 ン

-国立情報学研究所 : 石 冬樹

-東京大学 位 研究室

-早稲 大学深澤研究室

代表的 表論文

1普 脆こ三じ遷そ Hごせmつ図 ）遷不じこ ０せごじそ, 達つとつずじ ．囲しじず遷与遷, Bご三そし遷三こ B遷つご三, 脆 ５三ぞ選遷選じせじ囲図じ続

脆たた三ぞ遷続し 図ぞ ８ご三不じ続ご ８ごせご続図じぞそ 与じ図し （ぞそこじ図じぞそ遷せ （ぞそ図三遷続図囲 遷そこ ：囲遷gご ５遷図図ご三そ囲, ９しご

】図し ．そ図ご三そ遷図じぞそ遷せ （ぞそさご三ごそ続ご ぞそ ８ご三不じ続ご-４三じごそ図ごこ （ぞmたつ図じそg 。．（８４（ 「00重),

たた普「5」-「【8, ３ぞ不ごm選ご三 「00重普

2. 達つとつずじ ．囲しじず遷与遷, B遷囲ごm ８つせごじm遷そ, ０遷とぞずぞ Y遷m遷mぞ図ぞ, ８しじそじ続しじ Hぞそじこごそ, ５しと囲じ続遷せ

．そ図ご三遷続図じぞそ じそ ５ご三不遷囲じ不ご （ぞmたつ図じそg野 達ぞ三m遷せ ２ぞこごせじそg, 脆そ遷せと囲じ囲 遷そこ 別ご三じさじ続遷図じぞそ,

９しご 脆（２ ．そ図ご三そ遷図じぞそ遷せ （ぞそさご三ごそ続ご ぞそ ５ご三不遷囲じ不ご ８ご三不じ続ご囲, たた普1」」-140, ／つせと 「00重

． ンサ ネッ ワ ン 方法論

概要

ン ワ ン 検証

ン 高い表現力 持 形式的 ン 言語 開 目指

従来 代数 い 例え ン 挙動 え 困

あ ン 代数的 考え 環境 連 的 理

入力 考え ン ワ い

並行 動作 複数 ン 例え ン 一 表現

理 値 異 可能性 あ 場所 異 ン

異 複数 理

似 い 異 値 可能性 あ いう点 い 異 い

従来 代数 一対一 期通信 基 あ ン ワ

い 通信 基礎 あ う 従来 代数

い 表現 い様々 機能 様 述 形式 様 述言語

基 い 検証 開 行う 目指 あ

従来 設計 う 動作 確

ン 行う 既存 方法論 設計 使 ン

出来 新 一 作 直 必要 あ い

設計 検証 ン 一貫 行え う 統 ン 言語

開 い

主 連携機関 ン

-国立情報学研究所 口研治

-３遷図じぞそ遷せ ：そじ不ご三囲じ図と ぞさ ８じそg遷たぞ三ご ／普 ８普 ）ぞそg, ／普 ８つそ

-５じご三三ご ご図 ２遷三じご （つ三じご ：そじ不ご三囲じ図と ぞさ ５遷三じ囲【 達三ごこご三じ続 ５ご囲続し遷そ囲ずじ

-：そじ不ご三囲じ図と ぞさ 脆つ続ずせ遷そこ ／普 ８つそ

代表的 表論文

1普 ／普 ８普 ）ぞそg, ／普 ８つそ, ／普 ８つそ, ０普 ９遷gつ続しじ, X普 Zし遷そg, ８たご続じさとじそg 遷そこ 別ご三じさとじそg ８ごそ囲ぞ三

３ご図与ぞ三ず囲野 遷そ 道でたご三じmごそ図 ぞさ 達ぞ三m遷せ ２ご図しぞこ囲 じそ ５三ぞ続ごごこじそg囲 ぞさ ．そ図ご三そ遷図じぞそ遷せ

（ぞそさご三ごそ続ご ぞそ 達ぞ三m遷せ 道そgじそごご三じそg ２ご図しぞこ囲 。．（達道２) ’08, たた」18-」」】, ８た三じそgご三, １３（８

5「5【, ０じ図遷ずとつ囲しつ 。「008)

． キュ た ソ 工学 ロ

概要

近 情報流出 正 険性 情報 現代社会

多大 響 及 い 情報 高 術

現状 十 言え 開 理論 基 い 体系的

方法論 確立 急務 課題 い

課題 特徴 考慮 範 広大 あ 点 挙 え

潜 的 威 種類 正 資産 個人

資源 び 全性 高 術 暗 御 い

多 考慮 課題 あ 情報 高 あ 得

全 威 可能 限 出 威 確実 防御 う

設計 実装 い 現代 複雑 い 全

考慮 課題 列挙 整理 威 網羅的 出 対応 容

易 い

う 課題 解決 ソ 工学 術 確立 目

指 理論的基盤 び 体系的 方法論 研究 い 具体的

目標 威 対応 要件 関連 整理 術 設計 対

具体的 威 明確 ン 術 行 い

細 http://sse-project.org/ 参照 い

主 連携機関 ン

- 国立情報学研究所 岡信和 口研治

- 早稲 大学 鷲崎弘宜 城間祐輝

- 東京工業大学 林晋

- 信 大学 海谷治彦

- 電気通信大学 原康之

- 陸 端科学 術大学院大学 河 高史

- The Open University - Florida Atlantic University - University of East London - 情報総研

- 富士通研究所

代表的 表論文

1. Classifying security patterns, Proc. of the 10th Asia Pacific Web Conference (APWeb), LNCS 4976, pp. 342-347, 2008.

2. Misuse cases + Assets + Security Goals, Proc. of Workshop on Software Security Process (SSP09), IEEE, pp. 424-429, 2009.

3. Misuse Patterns, The Forth International Workshop of Dependability Aspects on Data Warehousing and Mining applications (DAWAM), 2009.

4. Enforcing a security pattern in stakeholder goal models, 4th Workshop on Quality of Protection, pp.9-14, 2008

． Web2.0時代 ペ 指向ソ 開発基盤

概要

Web ソ ン 散 相互遀用性 変更容易性 利便性

環境 多様性 開 効率性 追求 Web2.0 代 到来 あ 術 質

遅延束縛 追及 あ 実現結果 動的 見 成 接 Web

術 動的 言語 XML 非 期通信 実現 Ajax あ

従来 遅延束縛 術 多 間 組 わ 通信 決定 遅

あ 内部 決定 遅 実現 あ

多数 群 散 変更 可能性 あ 関心 例え 採

変更管理困 あ 問題 指向 術

解決 指向 術 実現 あ 多数 群 散

静的構造 動的振 舞い 成 ン 遅 Web

ン開 い 指向 術 ン ワ

適用 あ Web2.0 指向 開 環境 適用 十 進展 い い

研究 い Web2.0 指向 開 術環境 指向

ン 術 析設計 開 方法論 あ 開 基盤 確立 目指

具体的 開 術 最初 JavaScript JavaScript 活用 Web2.0

ン開 実用的 指向 ン 環境 AOJS:

Aspect-Oriented JavaScript 実現 長期的 JavaScript 関連 散

相互遀用性 高い ン 実現 P2P ワ 通信 術 Web

術 指向 適用 実装 術 流 応用 析設計

段階 識 成 ン 開 術 確立

主 連携機関 ン

• 早稲 大学: 深澤良 鷲崎弘宜

• 国立情報学研究所: 岡信和 石 冬樹 久保淳人 高橋竜一

• Chulalongkorn University : Somjai Boonsiri

• SSR 成21 調査研究 効率的 ン Web開 向

指向ソ 術 調査研究 賛助企業 ン

代表的 表論文

1普 誌脆４／８野 脆囲たご続図-４三じごそ図ごこ ／遷不遷８続三じた図 ５三ぞg三遷mmじそg 達三遷mご与ぞ三ず さぞ三 Wご選 ）ご不ごせぞたmごそ図,誌

8図し Wぞ三ず囲しぞた ぞそ 脆囲たご続図囲, （ぞmたぞそごそ図囲, 遷そこ ５遷図図ご三そ囲 さぞ三 ．そさ三遷囲図三つ続図つ三ご ８ぞさ図与遷三ご

。脆（５4．８、0重), たた普」1-」【, ２遷三続し 「, 「00重普

「普 誌脆４／８野 脆囲たご続図-４三じごそ図ごこ ／遷不遷８続三じた図 ５三ぞg三遷mmじそg 達三遷mご与ぞ三ず,誌 ５三ぞ続普 【図し 脆囲じ遷そ

Wぞ三ず囲しぞた ぞそ 達ぞつそこ遷図じぞそ囲 ぞさ ８ぞさ図与遷三ご 。脆W達８ 「00重), 「00重普

」普 誌 指向 脆す遷で ン ン 適用誌, 第 1【 回ソ 工学

基礎ワ 達４８道 「00重, 日 ソ 科学会, 「00重普

4普 誌脆 ５三遷続図じ続遷せ 脆囲たご続図-４三じごそ図ごこ ／遷不遷８続三じた図 ５三ぞg三遷mmじそg 達三遷mご与ぞ三ず B遷囲ごこ ぞそ 遷 ５三ぞでと

２ご続し遷そじ囲m,誌 重図し ．そ図ご三そ遷図じぞそ遷せ （ぞそさご三ごそ続ご ぞそ 脆囲たご続図-４三じごそ図ごこ ８ぞさ図与遷三ご ）ご不ごせぞたmごそ図

。脆４８） 「010), ）ごmぞそ囲図三遷図じぞそ ９三遷続ず, 「010普 。図ぞ 遷たたご遷三)

． 高信頼ソ ンサン 技術基盤

概要

品質 確 済 ソ 部品 60%以 適 再利用 ，生産性 信 性 2

倍以 向 知 い 遉成 容易 ，ソ 部品 体

系的 再利用 全体 調整 保 組 わ 組 ン ン 術 求

い 大規模 ン ン びWeb ワ 公開 提供

種々 企業 機関 開始 あ 高精 効果的 検索手法 整備

要求 適 組 わ 可能 ン ン 群 郡 見

困 あ 結果 実用的 ン ン 流通基盤 形成 い

い 個々 ン ン 組 わ 設計 実装

活用 組 十 整備 い い 例え 個々 部品 集 体 設計 あ

既知 設計 ン 適用 い 前 明 情報 活用 効

率的 部品検索 張 組 わ 利用 可能 既知 設計

ン検出 い 従来手法 高い精 得 い い

研究 ン 含 広域 ワ ソ ン

ン 群 び 群 い 特性 考慮 実際 実行 高精 検

索 手法 提案 実現 各ソ ン ン 実装

い 改変 歴 活用 既知 ン ン 高精 検出

手法 提案 実現

成果 将来的 統 ン ン 効率的 検索 再利

用 組 立 支援 可能 既存 情報 対

将来 急速 変 対応可能 組 価値 可能

指向 基 構築 応用可能 あ

主 連携機関 ン

• 早稲 大学: 深澤良 鷲崎弘宜 康宏

• 国立情報学研究所: 岡信和 石 冬樹 久保淳人

• Chulalongkorn University : Somjai Boonsiri

代表的 表論文

5普 誌）ご図ご続図じそg ）ご囲じgそ ５遷図図ご三そ囲 ：囲じそg ８ぞつ三続ご （ぞこご ぞさ Bごさぞ三ご 脆たたせとじそg ）ご囲じgそ

５遷図図ご三そ囲,誌 ５三ぞ続普 8図し ．道道道景脆（．８ ．そ図ご三そ遷図じぞそ遷せ （ぞそさご三ごそ続ご ぞそ （ぞmたつ図ご三 遷そこ

．そさぞ三m遷図じぞそ ８続じごそ続ご 。．（．８ 「00重), たた普重」」-重」8, 「00重普

【普 誌 ン適用前 ソ 用い ン ン検出誌, ン ソ

, 日 ソ 科学会, 別ぞせ普「【, 「010 。 中)

7. 誌７道８９形式Wご選 実行 基 高精 検索誌, 情報処理学会第1【】

回ソ 工学研究 表会, ．５８／-８．G-８道1【】-1」, 「010 。 中)

． Understanding the cognitive aspects of collaborative RE

概要

This project is about applying cognitive science theories, and devising a cognitive method to observe, and study software development teams in the industry. The aim is to explain why, and how certain software development practices are working from the perspective of cognition, so that we can better understand how to improve the design of collaborative RE. We focus on studying how the physical artifacts (e.g., models, documentation) are actually used during RE activities in the industrial practice of software development, and how they influence cognition. Currently we emphasize on studying Agile Requirements Engineering process by conducting empirical study of Agile software development teams in the industry.

We have developed a method of analysis that employs cognitive science theories. The method is used to extract regularities of patterns during software development teams communication. The patterns show how physical artifacts influence the construction of team members’ communication.

We have found that the patterns suggest that the physical artifacts helped software development team to define the contexts of their RE activities within their practice. Furthermore the physical artifacts are used as part of their contingency plan in communicating during unanticipated RE events.

The research project relates to the research study by Prof. Alistair Sutcliffe (University of Manchester) on Collaborative RE.

主 連携機関 ン

• National Institute of Informatics: Nik Nailah Binti Abdullah, Shinichi Honiden • Open University: Helen C. Sharp, Bashar Nuseibeh

• University of Washington: David Notkin

代表的 表論文

1. Binti Abdullah, N.N., Sharp, H.C., Honiden, S. 2010. A Method of Analysis to Uncover Physical Artifact-Communication Relationship. Proceedings of the 23rd FLAIRS conference. Special track: Cognition and AI: Capturing Cognitive Plausibility and Informing Psychological Processes. AAAI Press.

2. Binti Abdullah, N.N., Sharp, H.C., Honiden, S. 2010. Communication in context: a stimulus-response account of Agile team interactions. Proceedings of XP 2010, 11th _{International Conference on Agile Software Development. June 1-4, 2010.} Trondheim, Norway. Springer-Verlag.

． ソ 品質要求 測定 可視 に関 研究

概要

ソ 開 初期段階 い 品質要求 適 定義

い 主 理 実際 稼働

い 必要 品質要求 識 優 付 定

い あ え 初期段階 い 品質要求 定義

開 中 実現 い 追跡 容易 い

う 追跡可能性 保証 品質要求 実現 実現段階 最適 修正

大

背 ソ 開

成果物 例え 設計 様書 等 品質要求 映

い 定 的 析 設計者 要求 析者 把握 い

う 可視 手法 設計 実現 行 い

具 体 的 ， ソ 成 果 物 品 質 成 析 器 。８ぞさ図与遷三ご ８たご続図三つm

脆そ遷せと川ご三) 成果物 映 い 品質項目 要 測定

測定結果 基 例え 色等 用い 可視 方針 作成 可視 方針

成果物 適用 可視 設計者 等 品質 作 適

行わ い 否 直感的 確 支援

現状 ，自然言語 述 要求 様書 析器 設計 実装 完成

， 評価結果 公開 ，ソ 関 析器 設計

あ

研究 成果 ，従来 追跡 困 あ ，非機能要求 追跡支援 遈 開

期待 い 細 ，http://kaiya.cs.shinshu-u.ac.jp/MVSQR/ 参照 い

主 連携機関 ン

- 信 大学 野 海谷治彦

- ９しご ４たごそ ：そじ不ご三囲じ図と 野 Yじすつそ Yつ, B遷囲し遷三 ３つ囲ごじ選ごし

- 東京工業大学 野 佐伯 元

代表的 表論文

1. Haruhiko Kaiya, Tomonori Sato, Akira Osada, Naoyuki Kitazawa, and Kenji Kaijiri. Toward Quality Requirements Analysis based on Domain Specific Quality Spectrum. In Proc. of the 23rd Annual ACM Symposium on Applied Computing 2008, Volume 1 of 3, pp. 596-601, Fortaleza, Ceara, Brazil, Mar. 2008. ACM.

2. Shunichi Suzuki, Tomonori Sato, Masaaki Tanigawa, Akira Osada, Haruhiko Kaiya, and Kenji Kaijiri. A Systematic Method for Generating Quality Requirements Spectrum. In Proc. of the 24th Annual ACM Symposium on Applied Computing

3. Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato and Kenji Kaijiri. Spectrum Analysis for Quality Requirements by using A Term-Characteristics Map. 21th International Conference Advanced Information Systems Engineering (CAiSE 2009), pp. 546-560, 8-12 June 2009 Amsterdam, The Netherlands. LNCS 5565.

4. Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato, Akira Osada, and Kenji Kaijiri. Improving Reliability of Spectrum Analysis for Software Quality Requirements using TCM. IEICE Transactions on Information and Systems, Vol. E93-D, No. 4, Apr. 2010. To appear.

． XAC ロ

概要

無線 ン ワ (Wireless Sensor Network:WSN) ン 搭載 無線

通信可能 型 ン 構成 無線 ワ あ WSN 多数

ン 現実世界 状態 観測 可能 状況依存型

ン 情報提供 ン 期待 実用 始 い 現状

個々 ン毎 専用 WSN 設置 い WSN 設置

全体 開 要因 い 場所 稼働

ン あ 1 WSN 複数 ン 共 設置

抑え 可能 ソ 面 複数種類 ソ

資源 限 1 WSN 共 資源割 当 機構 入 必要

あ ソ 開 増大 う

XAC WSN ン 目指 WSN用ソ 支援

関 研究開 行 い ン 管理

ワ 管理 管理 管理機能 提供 各

動作 ワ 全体 動作 述 期待

計測 集処理 質的 処理 注力 XAC

1. 遀用 管理 2.内部構造 振 舞い 自己最適 3. 4.多

象 述言語 観点 WSN 関 研究開 い

研究 進展 WSN ン 共 ン 活用 ソ

基盤 整備 実世界 連動 状況依存型 ン 実用 進

期待 細 http://xac-project.jp/ 参照 い

主 連携機関 ン

-国立情報学研究所 : 鄭顕志 位 真一 岡信和

-株式会社 菱総 研究所 : 松崎和賢 清雄一


-日 株式会社 : 永俊一郎

代表的 表論文

1普 多数 得攻撃 対応 無線 ン ワ 正 ン 検知, 電子

情報通信学会論文 , 別ぞせ普重「-B, ３ぞ普4, たた普【】8-【88, 脆た三じせ, 「00重普

「普 多数 得攻撃 対応 無線 ン ワ 複製 散検知, 電

子情報通信学会論文 , 別ぞせ普重「-B, ３ぞ普4, たた普【8重-【重重, 脆た三じせ, 「00重普

」普 G三ぞつた ２じg三遷図じぞそ 選と ２ぞ選じせご 脆gごそ図囲 じそ Wじ三ごせご囲囲 ８ごそ囲ぞ三 ３ご図与ぞ三ず囲, ４でさぞ三こ （ぞmたつ図ご三 ／ぞつ三そ遷せ, 。図ぞ

遷たたご遷三)普

4普 Autonomic thinking for sensing devices, The Sixth International Conference on Autonomic and Autonomous Systems (ICAS’10), Cancun, Mexico. March 7-13, 2010 (to appear)

．教育関連事業

． サ ン に基 く知的 く 教育 ッ

ソ 工学 い 大学 産業界 端的 術 相互連携 大学側

術 活用 企業側 術 入 い 大 問題 抱え い 具体的 大学教

育 状況 ソ 実問題 基礎 良い教 持 実問題

逿 問題 教育 研究 行 実践 い いう課

題 あ 一方 現 ソ 産業 い 米国 倒的 支配力 持 い

現状 中 中国 ン 新興勢力 勢力 大 日 国際競 力

弱 一方 あ う 状況 中 日 企業 状況 ン 基

端的 術 入 困 課題 あ

国立情報学研究所 間 文部科学省振興調整費 支援

産学 埋 世代 ソ 術者教育

教育 開 開始 国内 大学

研究所 ソ 工学研究者 結集 多数 企業 協力 得 端的 実践的

ソ 開 教 構築 現 講 開講 い

表 1 講

科目群 授 業 科 目

基礎理論

５B１ 特 演習

要求工学講

要求獲得 定義

指向要求 析

超 流要求工学

要求 析

検査講

設計 検証 基礎編

設計 検証 応用編

並行 検証 実装

性能 検証

形式仕様記述講

形式 様 述 基礎編

形式 様 述 応用編

形式 様 述 編

キ チ 講

ン ン 開

指向開

ソ ン

実装技術講

実装 検証

解析

ン

ネ ン 講

ソ

教 基礎 ソ 工学 定

人 養成 開始 ソ 術者 必要 能力

習得 目標 い

進的 術 自 問題 適用 実践力

顕 開 伝 及力

新 い 術 問題 適 応用 応用力

特 能力 総 的 各 講生 設定 課題 関 修了単位

得 学 術 応用 修了 作 ～ ヶ 行う 修了 作

企業 持 込 実践的 課題 多 修了 共 研究 以降 講

い

文部科学省 支援 半

講生 入 う 半 計 養成

一期修了生 修了 企業 学生

期修了生 修了 企業 学生

期修了生 修了 企業 学生

ＧＲＡＣＥ ン 遀営主体 料

講生 入 い 四期生 企業

学生 養成中 あ 期生 定 あ

講生 派遣 企業 企業

講者 多 企業 来 会社 終わ 講義 講 い う

方 間帯 授業 行

開 教 端的 独自性 高い 大学 講 採用

具体的 東京大学 東京工業大学 総 研究大学院大学 早稲 大学

海遈大学 情報 大学院大学 講義 開講 陸 端科学

術大学院大学 共 端ソ 工

学 設置 講 う 講 陸 端科学 術大学院大学

単位 定 い 細 述

． 陸先端科学技術大学院大学 先端ソ 工学コ

ＧＲＡＣＥ ン 陸 端科学 術大学院大学 ソ 開 関 理

論 実践 埋 新 い 術 生 出 実践 研究者 育成

共 開 端ソ 工学

い

博士課程 あ 通常 博士

得 短期修了 用意 い 短期修了 設置 間

講 修了 入学 博士 得

実質的 博士 得 可能 あ わ 端ソ 工学

活用 端 術 得 修了生 対

博士 得 遈 え 講義 う 講

単位 講可能 あ 必要 単位 得 関 考慮

い

陸 端科学 術大学院大学 博士課程 博士論文 主

幅広い基礎的概念 知識 能力 修得 主 異 観点 研究 副

行う 修了 作 行う 端ソ 工学

副 主 展 可能 あ 講

い 学生 副 指 教 講師 参画

修了 作 研究活動 行う 可能

い

講義の受講 ップ

先端ソフ 工学コ

修了制作 副 主

間 延長 可能 間 ～ の短期修了の可能

2 端ソ 工学

修了者 】 進学 短期間

博士 得 目指 研究 進 い

． 拠点間教材洗練等事業

的IT 育成推進 大学間及び産学 壁 越え 潜

力 結集 教育内容 体 強 世界最高水準 ソ 術者

求 専門的 社会情勢 変 等 見性 柔

軟 対処 企業等 い 的役割 担う人 育成 教育 点 形成 支援

世界一 心 ＩＴ社会 実現 担う 情報 世界

最高水準 人 育成 教育 点 形成 支援 あ 成18 世界水

準 ソ 術者育成 点 形成 点 6 点 成19 高

人 育成 点 形成 点 2 点 採択 計8 点 い 教育

実施 い

高 度IT人 材 育成 のた の 実 践 的 ソ フ 開発 専修プ ム

＜ 筑 波 大 学 拠点＞

◎筑波大学、電気通信大学、東京理科大学

情 報 理 工 実 践プ ム ＜ 東 京 大 学 拠点＞ ◎東京大学、東京工業大学、

国立情報学研究所

次 世 代 情 報 社会 を牽引 す る ICT キ 育 成プ ム

＜ 九 州 大 学 拠点＞

◎九州大学、九州工業大学、 熊本大学、宮崎大学、福岡大学

高 度 ソ フ 技術者 育成と 実プ 教材

開 発 を実 現 す る 融合 連携専 攻の形 成 ＜ 大 阪 大 学 拠点＞

◎大阪大学、大阪工業大学、京都大学、高知工科大学、 神戸大学、奈良先端科学技術大学院大学、

兵庫県立大学、立命館大学、和歌山大学

首都圏

OJL よ る 最 先 端 技 術適応 能力を持 つ IT人 材 育 成 拠点 の形成

＜ 名 古 屋 大 学拠点 ＞ ◎名古屋大学、南山大学、愛知県立大学、

静岡大学

研 究 と 実 務 融合 よる

高 度 情 報 セキ ュ 人材育 成プ ム

＜ 情 報 セ キ ュ 大 学院大 学拠点 ＞ ◎情報セキ ュ 大学院大学、 中央大学、東京大学、国立情報学研究所

社 会 的IT 軽減の た の 情 報 セ キ ュ 技術 者管理者 育成 ＜ 奈 良 先 端 科学技 術大学 院大学 拠点＞

◎奈良先端科学技術大学院大学、 京都大学、大阪大学、 陸先端科学技術大学院大学

先 端IT 育成 プ ム ＜ 慶 應 義 塾 大学拠 点＞ ◎慶応義塾大学、早稲田大学、中央大学、

情報セキ ュ 大学院大学

3 教育 点

点間教 等洗練 業 各 点 開 教 等 成果 効果的 効率的

及展開 成 実施 い 業 い 構

築 点間教 edubase 構築 参照 教 洗練 集 改編 共 開 著作 ン 策定 教育力向 支援 PBL (Project Based Learning)教

整備 社会人向 教 展開 広報活動 的IT 育成推進 ン

開催 教育 情報学会全国大会 情報教育研究集会 特 ン等

表 実施 高 ＩＴ人 育成方策 全国展開 い

参考文献 的IT 育成推進 産学連携人 育成 点 現状 –

世界最高水準 高 IT人 育成 目指 - 成22 3 文部科学省

． Edubase タ 構築

点間教 等洗練 業 柱 一 あ 点間 構築 的 IT

育成推進 各 点 開 教 等 学習 教育 ン ン

全国 大学等 配信 ン ン 全国 教員 企業関 者等

洗練 い ン ン 生成 う 確立 目標

い

視聴者

奈良先端科学技

術大学院大学

大阪大学 名古屋大学

東京大学

NII

九州大学

情報セ キ ュリティ

大学院大学 筑波大学

慶応大学

ポ ヸタル管理者 ㄥNIIヷGraceセンタヸ ㄦ

システム管理

/ユヸザ管理 ヷ コンテンツ配信

ヷ コンテンツ検索

ヷ コンテンツ視聴ランキ ング照会

拠点間ポヸタル

コンテンツ視聴 検索

コンテンツ管理者 ㄥ各拠点ㄦ

コンテンツ開 ヷ 録

ヷ 公開用コンテンツ配信 ㄥ 講義V i o、 教材コンテンツ) ヷ 公開用コンテンツ管理

先 導 的IT ペ 育成推 進 ロ 開発 さ た 教材 ほか 世 中 優 た教 材を集

1. IT教 育 者 へ 優 た教 材 普 及 2. 優 た 教 材 作成 改善 3. IT教 育 者 間 コ ュニ 形 成 4. 高 IT人 材 た 自 習環境

た 情 報基盤 を目指

4 edubase 全体概要

配信 教 種類 多種多様 あ PBL教 FD教 知識付 型 講義教

学習者 理解 支援 演習問題 配信 教 形態

ン ン PDF ン ン PPT ン ン 教 全 含

う 教 配信 点間 特長 以 あ

z配信対象 ン ン

¾ 講義 連動 ン ン 配信

¾ 教 演習課題等(PDF, Word 等

¾ ン

z各 点 多様 ン ン 断検索

¾ 各 ン ン 情報 付 様々 形式 ン ン 検索

¾ J07 領域 基 い 検索 ン

¾ 連動 ン ン 対 ン ン 単位

単位 検索 可能 動画 視聴 検索

ン 頭出 再生 可能

¾ 連動 ン ン 対 ン 率 再生回数 再生

間 ン 数 数 軸 検索 可能 2 元検索

あわ ン ン 概要 わ

z 公開 ン ン 録管理 ン 各 点 実施 ¾ ン ン 録 管理 各 点 行う

¾ 点 既設 配信 配信可能 来 定

現 構築 い 点間 ン ン 閲覧画面 あ

成20 開 知見 元 成21 edubase え

命 試験遀用 公開 公開 あ 独自 ン

得 多 方 利用い う Web 整備 進 い

URL http://edubase.jp

ン ン 閲覧画面 元検索画面

5 edubase1 画面

． 先導的ＩＴ ペ 育成加速 ネッ ワ 構築事業

点間教 等洗練 業 中 的実施機関 あ 国立情報学研究所 ＮＩＩ 学習

用 ン ン 環境基盤 散学習支援ソ 等 整備 点大

学 人 育成機能 強 的ＩＴ 育成 速

ワ 構築 業 実施 い

業 目的 進的 術 学び 実践的課題 適用 解決 際 生 問題

点 対処 新規 術 生 出 的 IT 術者育成 必要 要素 講師

教 環境 う 対策 遅 い 的IT 術者育成環境 強 あ

強 改善 ン

学び 使い 改善 能力 養う 簡単 学 実践 成果 広 使

え IT実験室 実現 改善項目

従来 IT教育環境 対 以 改善 行う 使い易いIT実験室 実現 環境 構築/破棄 容易 簡便性

環境 規模変更 可能 伸縮性

環境 長期保存 可能 保存性

環境 専 可能 専 性

環境 改変 可能 改変性

連携 可能 連携性

利用 教 整備

海 術 活用 学習環境作 関 組 始 い

散 ン 位 学習 対象 い

基盤部 関 い 基盤 改変 実

践 行え 起因 専 性 思い 実験

い 既存 学習 的IT 術者育成環境 十 問題 あ 改善

必要 あ

う 背 ンソ 基 学習用大規模

構成 構築 試用 学習用 ン例 提供

学習用 ン例

散処理 Hadoop 用い 処理 び 基盤改変

大規模 検査 (MPI 用い 散 検証

商用仮想計算機 変換 間 ン 変換

6 学習用 ン ン 環境基盤 散学習支援ソ

． 情報処理推進機構 ＩＰＡ 連携協力

緊密 産学連携 ＩＴ人 育成 推進 以 項 情報処理推進機

構 ＩＰＡ ＩＴ人 育成 部 連携 協力 進 協定 2008 10 締結

IT人 育成 教員 育成 強

IT人 育成 教 開

IT人 育成 開

IT人 育成 ン ン 推進

IT人 育成 ン 教育 推進

目的 遉成 必要 協力

う 活動 一 成21 IT人 育成強 速 業 経済産業省

委 業 い 連携協力 実施 い 点間教 等洗練 業

教員 当 業 各部会 参 整備 調査 実施 成

果 遀営 点間教 等洗練 業 成果 映 活動 行 い

成21 度IT人材育成強 加 速事業 産学連携ＩＴ人材育成プ

ッ フ ム構築事業

○実践的教育を実施するた の教

材 カ キュ ムの収集及び開発

○産業界出身教員の能力強

○ カ ン 教育実態調査

IPA情 報 処 理推進機構 NII Graceセ ンタ

○ ップ プ ッ プ のソフ 技 術 者を育成

○ 拠 点間教材等洗練事業 先 導IT 育成 推 進 プ ム成果の拠点 間 全国大学へ普及展開 各WG

部会へ の参画

参画活動 結果を

Grace事

業 フ バッ

7 成21 IT人 育成強 速 業 連携

NII IPA 定期的 協議 ITSS 関連 析 ITSS

見え 産学人 育成 情報処理 科会 参

画 連携 行 連携 強 い 定 あ

．発表文献

2010 2 現 論文 表 一覧 以

研究

Remi Sharrock, Amin Cherbal, Levent Gurgen, Thierry Monteil, Shinichi Honiden: "Autonomic thinking for sensing devices", The Sixth International Conference on Autonomic and Autonomous Systems (ICAS’10), Cancun, Mexico. March 7-13, 2010

(to appear).

Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato, Akira Osada, and Kenji Kaijiri. Improving Reliability of Spectrum Analysis for Software Quality Requirements using TCM. IEICE Transactions on Information and Systems, Vol. E93-D, No. 4, Apr. 2010.(To appear)

Levent Gurgen, Johan Nystrom-Persson, Amin Cherbal, Cyril Labbe, Claudia Roncancio, Shinichi Honiden: "Plug&Manage Heterogeneous Sensing Devices", (Demonstration) In Proceedings of the 6th International Workshop on Data Management for Sensor Networks (DMSN’09), in conjunction with VLDB’09. Lyon,

France. August 24, 2009.

Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden: "Group Migration by Mobile Agents in Wireless Sensor Networks" Oxford Computer Journal, (to appear) Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering Fuyuki Ishikawa, Rihoko Inoue, Shinichi Honiden The 2nd International Workshop on Requirements Engineering and Law (RELAW'09) at RE 2009 2009 9

Adrian Helmut David Klein, Fuyuki Ishikawa, Bernhard Bauer, A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns, The 7th International Conference on Service-Oriented Computing (ICSOC 2009), November 2009

Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei, Supporting Automatic Model Inconsistency Fixing, The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009),

Amsterdam, The Netherlands, August 24-28 2009.

T. Okubo, K. Taguchi, N. Yoshioka, “Misuse cases + Assets + Security Goals”, International Conference on Computational Science and Engineering, Vancouver, Canada, 424-429, IEEE (2009).

Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden, Physical Interaction in Pervasive Computing: Formal Modeling, Analysis and Verification, The ACM International Conference on Pervasive Services (ICPS2009), July 2009

Basem Suleiman, Fuyuki Ishikawa, A Constraint-Based Approach for Developing Consistent Contracts in Composite Services, The 3rd International Workshop on Web Service Composition and Adaptation (WSCA-2009), July 2009

Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lammel, Andy Schurr, James F. Terwilliger, Bidirectional Transformations: A Cross-Discipline Perspective, International Conference on ModelTransformation (ICMT 2009), ETH Zurich, Switzerland, June 29-July 3 2009. LNCS 5563, Springer. pp.260-283.

Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi, Supporting Parallel Updates with Bidirectional Model Transformations, International Conference on Model Transformation (ICMT 2009), ETH Zurich, Switzerland, June 29-July 3 2009.

Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato and Kenji Kaijiri. Spectrum Analysis for Quality Requirements by using A Term-Characteristics Map. CAiSE09, 8-12 June 2009 Amsterdam, The Netherlands.

J. Davies, J. Gibbons, M. Hinchey, K. Taguchi, "Preface:Special Issue on Formal Methods Education and Training", ACM SIGCSE Bulletin inroads, vol 41, issue 2, June, pp14-16 (2009).

Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, A Compositional Approach to Bidirectional Model Transformation, New Ideas and Emerging Results Track of 31st International Conference on Software Engineering, Vancouver, Canada, May 16-24, 2009.

岡信和 口研治 要求 析 効用 情報処理学会 学会 3 ,

pp185-186, (2009)

H. Mouratidis, 口 研 治 概 論 情 報 処 理 学 会 学 会 3

,pp198-202, (2009)

Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Towards Compositional Approach to Model Transformations for Software Development, 24th Annual ACM Symposium on Applied Computing (SAC 2009, Software Engineering Track), Honolulu, Hawaii, USA, March 8-12, 2009.

Eduardo B. Fernandez, Nobukazu Yoshioka, Hironori Washizaki: "Misuse Patterns", The Forth International Workshop "Dependability Aspects on Data Warehousing and Mining applications" (DAWAM), Fukuoka, Japan, March, 2009.

Shunichi Suzuki, Tomonori Sato, Masaaki Tanigawa, Akira Osada, Haruhiko Kaiya, Kenji Kaijiri. A Systematic Method for Generating Quality Requirements Spectrum. ACM SAC 2009, Poster, Mar. 2009, Honolulu, Hawaii, USA.

Invited Paper: Fuyuki Ishikawa and Shinichi Honiden, On Applicability of Formal Methods and Tools to Dependable Services, The Journal of The Institute of Electronics, Information and Communication Engineers, Vol. E92-B, No.01, pp.9--16, January 2009.

Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano,Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store,ACM SIGPLAN Workshop on Programming Language Techniques for XML (PLAN-X 2009),Savannah, Georgia, USA, Jan 24, 2009.

J. S. Dong, J. Sun, J. Sun, K. Taguchi, X. Zhang, “Specifying and Verifying Sensor Networks: an Experiment of Formal Methods”, Proceedings of International Conference on Formal Engineering Methods (ICFEM) ’08, pp318-337, Springer, LNCS 5256, Kitakyushu (2008)

鄭顕志，石 冬樹， 岡 信和，深澤 良 ， 位 真一，解説論文 適応 ン

ン ン ，日 ソ 科学会 ン

ソ ン 特集，pp11-19, Vol. 25, No. 4,2008.

石 冬樹，阿部 玲，高橋 竜一， 岡信和，深澤 良 ， 位 真一， ン

ン 散協調 連携 術 研究動向，日 ソ 科学会 ン

ソ ン 特集，pp.133-144, Vol. 25, No. 4, 2008.

Daisuke Tanabe, Kohei Uno, Kinji Akemine, Takashi Yoshikawa, Haruhiko Kaiya, and Motoshi Saeki. Supporting Requirements Change Management in Goal Oriented Analysis. In Proc. of 16th IEEE International Requirements Engineering Conference (RE'08), pp. 3-12, Barcelona, Catalunya, Spain, 8-12 Sep. 2008.

Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden, Extracting Time and Location Concepts Related to Tags, The 1st Workshop on Incentives for the Semantic Web (INSEMTIVE 2008), October 2008.

Kenji Taguchi, Jin Song Dong: Formally specifying and verifying mobile agents - model checking mobility: The MobiOZ approach in International Journal of Agent-Oriented Software Engineering, Vol. 2:4 pp.449-474 (2008).

Nakagawa, K. Taguchi, S. Honiden: Constructing Formal Specifications from Requirements Specifications based on Model Transformation in Journal of IPSJ Vol.49 No.7 pp.2304-2318 (2008).

Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden, Model Checking Process with Goal Oriented Requirements analysis, 15th Asia-Pacific Software Engineering Conference, 2008, Beijing, China, 2008.

Y. Tahara, N. Yoshioka, K. Taguchi, T. Aoki, S. Honiden, Evolution of a Course on Model Checking for Practical Applications, in Proceeding of FMET, GRACE-TR-2008-03, pp33-48, GRACE Center, National Institute of Informatics (2008).

H. Nishihara, K. Shinozaki, K. Hayamizu, T. Aoki, K. Taguchi, F. Kumeno, Model checking education for software engineering in Japan, in Proceedings of FMET, GRACE-TR-2008-03, pp49-58 (2008).

Yijun Yu, haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Enforcing a Security Pattern in Stakeholder Goal Models (short paper), 4th Workshop on Quality of Protection, Alexandria VA, USA, October 27, 2008.

Yijun Yu, haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Enforcing a Security Pattern in Stakeholder Goal Models (short paper), 4th Workshop on Quality of Protection, Alexandria VA, USA, October 27, 2008.

J. S. Dong, J. Sun, J. Sun, K. Taguchi, X. Zhang, “Specifying and Verifying Sensor Networks: an Experiment of Formal Methods” , Proceedings of International Conference on Formal Engineering Methods (ICFEM) ’08, Springer, LNCS 5256, 318-337, Kitakyushu (2008)

Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden, Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems, The 12th IEEE International EDOC Conference (EDOC 2008), September 2008 .

Keisuke Nakano, Zhenjiang Hu, Masato Takeichi, Consistent Web Site Updating based on Bidirectional Transformation, 10th IEEE International Symposium on Web Site Evolution (WSE 2008), Beijing, China, October 3-4, 2008.

Eduardo B. Fernandez, Jan Jurjens, Nobukazu Yoshioka, and Hironori Washizaki, Incorporating database systems into a secure software development methodology, Proc. of 2nd International Workshop on Secure systems methodologies using patterns, Sep. 2008.

J. Davies, J. Gibbons, M. Hinchey, K. Taguchi (editors) Proceedings of the first international workshop on Formal Methods Education and Training, GRACE-TR-2008-03, GRACE Center, National Institute of Informatics, October 2008

Soo Ling Lim, Fuyuki Ishikawa, Eric Platon, Karl Cox, Towards Agile Service-oriented Business Systems: A Directive-oriented Pattern Analysis Approach, The 2008 IEEE Internatinal Conference on Services Computing (SCC2008), July 2008.

Naoyuki Kitazawa, Akira Osada, Kazuyuki Kamijo, Haruhiko Kaiya, and Kenji Kaijiri. So/M: A Requirements Definition Tool using Characteristics of Existing Similar Systems. In 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC2008), pp. 255-262, Turku, Finland, 28 July - 1 Aug. 2008.

Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi, A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations, Higher-Order and Symbolic Computation, Vol. 21, No. 1-2, Springer, June 2008. pp. 89-118.

Motoshi Saeki and Haruhiko Kaiya. Metrics for a Model Driven Development Context. In 3rd International Conference on Evaluation on Novel Approaches to Software Engineering (ENASE 2008), pp. 13-22, Funchal, Madeira, Portugal, 4-7 May 2008. INSTICC.

Haruhiko Kaiya, Akira Osada, and Kenji Kaijiri. Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems. IEICE Transactions on Information and Systems, Vol. E91-D, No. 4, pp. 897-906, Apr. 2008.

Eduardo Fernandez, Hironori Washizaki, Nobukazu Yoshioka, Atsuto Kubo, Yoshiaki Fukuzawa, "Classifying security patterns", Proc. of the 10th Asia Pacific Web Conference (APWeb), LNCS 4976, pp. 342--347, 2008.

教育

Fuyuki Ishikawa, Kenji Taguchi, Shinichi Honiden, How Top-Level Engineers Learn and Investigate VDM: Experiences in the Top SE Project, The 7th VDM-Overture Workshop at FM 2009, November 2009

Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden, What Top-Level Software Engineers Tackles after Learning Formal Methods -Experiences from the Top SE Project, The 2nd International FME Conference on Teaching Formal Methods (TFM 2009), November 2009

J. Davies, J. Gibbons, M. Hinchey, K. Taguchi, "Preface:Special Issue on Formal Methods Education and Training", ACM SIGCSE Bulletin inroads, vol.41, issue2, June, pp14-16 (2009)

H. Nishihara, K. Shinozaki, K. Hayamizu, T. Aoki, K. Taguchi, F. Kumeno,“Model Checking Education for Software Engineers in Japan”, ACM SIGCSE Bulletin inroads, vol. 41, issue2, June, pp45-50 (2009)

Y. Tahara, N. Yoshioka, K. Taguchi, T. Aoki, S. Honiden, “Evolution of a Course on Model Checking for Practical Applications", ACM SIGCSE Bulletin inroads, vol 41, issue 2, June, pp38-44 (2009).

H. Nishihara, K. Shinozaki, K. Hayamizu, T. Aoki, K. Taguchi, F. Kumeno, “Model Checking Education for Software Engineers in Japan”, ACM SIGCSE Bulletin inroads, vol 41, issue 2, June, pp45-50 (2009).

理穂子, "教育目的利用 著作 限 規定 入 可能性" 情報 ワ 第8巻, 2009 4 行 定.

西原秀明 青木利 粂 文洋 篠崎孝一 口研治 早水公 MCBOK2008:ソ

開 検査知識体系 組 込 ン (ESS 2009)

(2009)

C. Artho, K. Taguchi, Y. Tahara, S. Honiden, Y. Tanabe, “Teaching Software Model Checking”, Formal Methods in Computer Science Education (FORMED) ’08,

Budapest,2008.

K. Taguchi, Y. Tahara, “Curriculum Design and Methodologies for Security Requirements Analysis”, Progress in Informatics, No. 5, pp. 19-34,(2008)

H. Nishihara, K. Shinozaki, K. Hayamizu, T. Aoki, K. Taguchi, F. Kumeno, Model checking education for software engineering in Japan (Preliminary Version) , 算譜

科学研究速報, 独 産業 術総 研究所, 検証 ン AIST-PS-2008-013

(2008)

青木利 粂 文洋 木 佳樹 篠崎孝一 高木理 高 博紀 口研治 中原早生

西原秀明 早水公 位 真一 渡邊宏 検査 教育 構築 向 ,

算 譜 科 学 研 究 速 報, 独 産 業 術 総 研 究 所, 検 証 ン

AIST-PS-2008-012 (2008)

J. Davies, J. Gibbons, M. Hinchey, K. Taguchi (editors), Proceedings of the first international workshop on Formal Methods Education and Training, Grace-TR-2008-03, Grace Center, National Institute of Informatics

位 真一, 粂 文洋, 原康之, 鷲崎弘宜, : ン 知的 教育 , 情報処理, Vol.48, No.11, pp1264-1272, 2007.

位 真一, 口研治, 岡信和, 原康之, 鷲崎弘宜, ン 知的 教育 , 映像情報 学会 , Vol.61, No.9, pp85-90, 2007.

位 真一, ン 知的 教育 , OHM, Vol.94,

No.8, 2007.

Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, and Hironori Washizaki, "Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan," Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), ACM Press, pp.708-717, 2007.

T. Tsumaki, H.Kaiya, Y. Tahara, N. Yoshioka, K. Taguchi, S. Honiden, “Errors and Misconceptions in Learning i*”, in Proceedings of the 2nd International Workshop on

35

Requirements Engineering Education and Training, 2007.